The Barwise-Seligman Model of Representation Systems: A Philosophical Explication
نویسندگان
چکیده
As an application of their channel theory, Barwise & Seligman sketched a set-theoretic model of representation systems. Their model has the attraction of capturing many important logical properties of diagrams, but few attempts have been made to take advantage of the model's explanatory potential by applying it to actual diagrammatic systems. We attribute this to a lack of precision in their explanation of what their model is about-what a " representation system " is. In this paper, we propose a concept of representation system on the basis of Barwise & Seligman's original ideas, supplemented by Millikan's theory of reproduction. On this conception, a representation system is a family of individual representational acts formed through a repetitive reproduction process that preserves a set of syntactic and semantic constraints. We will show that this concept lets us identify a piece of reality that the Barwise-Seligman model is concerned with, making the model ready for use in the logical analysis of real-world representation systems. (This is a joint work with Dave Barker-Plummer)
منابع مشابه
A Channel-Theoretic Foundation for Ontology Coordination
We address the mathematical foundations of the ontology coordination problem and investigate to which extend the Barwise-Seligman theory of information flow may provide a faithful theoretical description of the problem. We give a formalisation of the coordination of populated ontologies based on instance exchange that captures progressive partial semantic integration. We also discuss the insigh...
متن کاملA Dynamic Syntax-Semantics Interface
The relation between syntax and semantics of natural language can be regarded as a constraint. With the ideas from Channel Theory (Barwise 1993, Barwise and Seligman 1994), the way that an utterance represents a situation can be captured as a linguistic channel. To study the operational aspects of such a channel, we construct it as a system of communicating processes by turning to the -calculus...
متن کاملInformation Integration in Institutions
This paper unifies and/or generalizes several approaches to information, including the information flow of Barwise and Seligman, the formal conceptual analysis of Wille, the lattice of theories of Sowa, the categorical general systems theory of Goguen, and the cognitive semantic theories of Fauconnier, Turner, Gärdenfors, and others. Its rigorous approach uses category theory to achieve indepen...
متن کاملA Mathematical Definition of Synthetic Emergence
The aim of this paper is to define synthetic emergence in a domain independent fashion. The mathematical definition of the first kind of synthetic emergence will be given by the consideration of closed and open subsets of the limit of design systems. A brief sketch of design systems will be also given by using the concept of information flow from Barwise and Seligman.
متن کاملHierarchical modelling in searching for complex patterns: constrained sums of information systems
One of the main tasks in granular computing is to develop calculi of information granules (Zadeh 1997, Skowron and Stepaniuk 2001). Information systems used in rough set theory are particular kinds of information granules. In the paper, we introduce and study operations on such information granules basic for reasoning in distributed systems of information granules. The operations are called con...
متن کامل